$\forall$$g$, $h$:GrpSig, $f$:InjMonHom($g$;$h$). Inj($\mid$$g$$\mid$;$\mid$$h$$\mid$;$f$)